[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 31 17 16 15 0 29 0 15

N.S.

1 1.82 1.00 0.94 0.88 0.00 1.71 0.00 0.88

time (sec)

N/A 0.143 0.004 0.022 0.196 0.000 0.402 0.000 5.659

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 10 10 0

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.00

time (sec)

N/A 0.131 0.002 0.074 0.187 0.253 0.072 0.284 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 12 10 11

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.86 0.71 0.79

time (sec)

N/A 0.127 0.002 0.050 0.192 0.265 0.074 0.282 5.458

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 12 9 10 8 10 8 10

N.S.

1 1.00 0.86 0.64 0.71 0.57 0.71 0.57 0.71

time (sec)

N/A 0.127 0.001 0.050 0.191 0.268 0.016 0.270 0.015

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.129 0.001 0.039 0.195 0.249 0.073 0.287 5.545

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 10 10 10 11

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.83 0.83 0.92

time (sec)

N/A 0.131 0.001 0.045 0.174 0.261 0.136 0.272 5.404

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 12 1 0

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.92 0.08 0.00

time (sec)

N/A 0.131 0.001 0.041 0.183 0.259 0.264 0.267 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 10 12 10 11

N.S.

1 1.00 1.00 0.92 0.83 0.83 1.00 0.83 0.92

time (sec)

N/A 0.133 0.001 0.045 0.188 0.279 0.140 0.275 5.501

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 20 18 17 0 39 0 17

N.S.

1 1.00 1.05 0.95 0.89 0.00 2.05 0.00 0.89

time (sec)

N/A 0.138 0.003 0.022 0.188 0.000 1.018 0.000 5.491

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 12 10 11

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.86 0.71 0.79

time (sec)

N/A 0.138 0.001 0.044 0.182 0.280 0.095 0.273 5.567

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 12 9 10 8 10 8 10

N.S.

1 1.00 0.86 0.64 0.71 0.57 0.71 0.57 0.71

time (sec)

N/A 0.131 0.001 0.041 0.185 0.265 0.017 0.277 0.015

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 10 8 10 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.136 0.001 0.033 0.206 0.261 0.092 0.261 5.429

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 10 12 10 11

N.S.

1 1.00 1.00 0.92 0.83 0.83 1.00 0.83 0.92

time (sec)

N/A 0.134 0.001 0.031 0.183 0.278 0.161 0.267 5.325

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.135 0.001 0.032 0.186 0.268 0.156 0.277 5.342

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 14 10 11

N.S.

1 1.00 1.00 0.79 0.71 0.71 1.00 0.71 0.79

time (sec)

N/A 0.131 0.001 0.040 0.193 0.386 0.164 0.272 5.367

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 17 16 0 0 37 0 24

N.S.

1 1.00 0.89 0.84 0.00 0.00 1.95 0.00 1.26

time (sec)

N/A 0.141 0.003 0.019 0.000 0.000 0.440 0.000 5.449

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 15 12 10 13

N.S.

1 1.00 1.00 0.92 0.83 1.25 1.00 0.83 1.08

time (sec)

N/A 0.132 0.001 0.111 0.185 0.259 0.166 0.269 5.389

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 16 12 1 0

N.S.

1 1.00 1.00 0.92 0.85 1.23 0.92 0.08 0.00

time (sec)

N/A 0.131 0.002 0.065 0.187 0.270 0.218 0.262 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 15 10 10 13

N.S.

1 1.00 1.00 0.92 0.83 1.25 0.83 0.83 1.08

time (sec)

N/A 0.133 0.001 0.040 0.184 0.259 0.166 0.275 5.735

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 12 9 10 10 10 10 10

N.S.

1 1.00 0.86 0.64 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.132 0.002 0.041 0.179 0.264 0.017 0.272 0.015

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 15 10 10 15

N.S.

1 1.00 1.00 0.79 0.71 1.07 0.71 0.71 1.07

time (sec)

N/A 0.133 0.001 0.034 0.179 0.253 0.170 0.265 5.665

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 15 12 10 13

N.S.

1 1.00 1.00 0.79 0.71 1.07 0.86 0.71 0.93

time (sec)

N/A 0.136 0.001 0.036 0.191 0.281 0.175 0.281 5.735

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 15 10 10 15

N.S.

1 1.00 1.00 0.79 0.71 1.07 0.71 0.71 1.07

time (sec)

N/A 0.133 0.001 0.036 0.199 0.263 0.170 0.276 5.711

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 20 18 0 0 48 0 26

N.S.

1 1.00 1.05 0.95 0.00 0.00 2.53 0.00 1.37

time (sec)

N/A 0.141 0.004 0.020 0.000 0.000 0.698 0.000 5.767

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 15 10 10 15

N.S.

1 1.00 1.00 0.92 0.83 1.25 0.83 0.83 1.25

time (sec)

N/A 0.132 0.001 0.065 0.184 0.264 0.178 0.268 5.685

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 15 12 10 13

N.S.

1 1.00 1.00 0.92 0.83 1.25 1.00 0.83 1.08

time (sec)

N/A 0.131 0.001 0.042 0.198 0.248 0.178 0.277 5.673

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 10 9 10 10 8 10 10

N.S.

1 1.00 0.83 0.75 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.132 0.001 0.044 0.200 0.259 0.016 0.265 0.014

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 15 10 10 15

N.S.

1 1.00 1.00 0.79 0.71 1.07 0.71 0.71 1.07

time (sec)

N/A 0.129 0.001 0.033 0.193 0.269 0.179 0.276 6.007

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 15 12 10 13

N.S.

1 1.00 1.00 0.79 0.71 1.07 0.86 0.71 0.93

time (sec)

N/A 0.133 0.001 0.037 0.183 0.293 0.181 0.274 5.811

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 15 10 10 15

N.S.

1 1.00 1.00 0.79 0.71 1.07 0.71 0.71 1.07

time (sec)

N/A 0.132 0.001 0.039 0.188 0.256 0.192 0.279 5.982

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 31 19 18 17 0 32 0 17

N.S.

1 1.63 1.00 0.95 0.89 0.00 1.68 0.00 0.89

time (sec)

N/A 0.144 0.002 0.051 0.180 0.000 0.498 0.000 6.011

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 31 19 18 17 0 32 0 17

N.S.

1 1.63 1.00 0.95 0.89 0.00 1.68 0.00 0.89

time (sec)

N/A 0.145 0.002 0.023 0.189 0.000 0.411 0.000 6.130

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 31 17 16 15 0 29 0 15

N.S.

1 1.82 1.00 0.94 0.88 0.00 1.71 0.00 0.88

time (sec)

N/A 0.147 0.001 0.023 0.186 0.000 0.334 0.000 6.719

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 12 12 19 12 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 1.36 0.86 0.86

time (sec)

N/A 0.145 0.001 0.030 0.184 0.251 0.113 0.267 6.123

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 33 19 18 0 0 29 0 0

N.S.

1 1.57 0.90 0.86 0.00 0.00 1.38 0.00 0.00

time (sec)

N/A 0.152 0.002 0.031 0.000 0.000 0.468 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 33 19 18 0 0 34 0 0

N.S.

1 1.57 0.90 0.86 0.00 0.00 1.62 0.00 0.00

time (sec)

N/A 0.148 0.002 0.029 0.000 0.000 0.565 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 21 22 20 19 0 42 0 22

N.S.

1 0.88 0.92 0.83 0.79 0.00 1.75 0.00 0.92

time (sec)

N/A 0.148 0.005 0.027 0.195 0.000 4.870 0.000 5.803

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 19 20 18 17 0 39 0 22

N.S.

1 0.79 0.83 0.75 0.71 0.00 1.62 0.00 0.92

time (sec)

N/A 0.142 0.003 0.024 0.193 0.000 1.969 0.000 5.724

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 16 16 13 12 16 20 0 16

N.S.

1 0.80 0.80 0.65 0.60 0.80 1.00 0.00 0.80

time (sec)

N/A 0.144 0.002 0.085 0.180 0.272 0.435 0.000 5.437

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 21 22 20 0 0 39 0 22

N.S.

1 0.88 0.92 0.83 0.00 0.00 1.62 0.00 0.92

time (sec)

N/A 0.148 0.005 0.030 0.000 0.000 4.682 0.000 5.495

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 35 22 20 0 0 44 0 22

N.S.

1 1.46 0.92 0.83 0.00 0.00 1.83 0.00 0.92

time (sec)

N/A 0.149 0.004 0.030 0.000 0.000 10.766 0.000 5.433

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 37 22 18 0 0 36 0 22

N.S.

1 1.42 0.85 0.69 0.00 0.00 1.38 0.00 0.85

time (sec)

N/A 0.148 0.004 0.029 0.000 0.000 1.017 0.000 5.429

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 19 18 0 0 41 0 24

N.S.

1 1.00 0.90 0.86 0.00 0.00 1.95 0.00 1.14

time (sec)

N/A 0.138 0.004 0.027 0.000 0.000 0.548 0.000 5.609

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 19 18 0 0 41 0 24

N.S.

1 1.00 0.90 0.86 0.00 0.00 1.95 0.00 1.14

time (sec)

N/A 0.140 0.003 0.026 0.000 0.000 0.477 0.000 5.512

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 17 16 0 0 37 0 24

N.S.

1 1.00 0.89 0.84 0.00 0.00 1.95 0.00 1.26

time (sec)

N/A 0.134 0.002 0.025 0.000 0.000 0.424 0.000 5.531

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 12 20 20 0 20

N.S.

1 1.00 1.00 0.93 0.86 1.43 1.43 0.00 1.43

time (sec)

N/A 0.133 0.002 0.030 0.197 0.273 0.294 0.000 5.542

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 17 0 41 0 24

N.S.

1 1.00 1.00 0.95 0.89 0.00 2.16 0.00 1.26

time (sec)

N/A 0.138 0.003 0.030 0.188 0.000 0.663 0.000 5.516

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 17 0 46 0 24

N.S.

1 1.00 1.00 0.95 0.89 0.00 2.42 0.00 1.26

time (sec)

N/A 0.138 0.003 0.031 0.251 0.000 0.773 0.000 5.578

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 23 22 18 0 0 42 0 0

N.S.

1 0.77 0.73 0.60 0.00 0.00 1.40 0.00 0.00

time (sec)

N/A 0.141 0.005 0.032 0.000 0.000 0.629 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 21 22 20 0 0 51 0 0

N.S.

1 0.75 0.79 0.71 0.00 0.00 1.82 0.00 0.00

time (sec)

N/A 0.145 0.005 0.031 0.000 0.000 1.064 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 19 20 18 0 0 48 0 0

N.S.

1 0.68 0.71 0.64 0.00 0.00 1.71 0.00 0.00

time (sec)

N/A 0.139 0.004 0.030 0.000 0.000 1.028 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 16 16 13 12 22 22 0 12

N.S.

1 0.67 0.67 0.54 0.50 0.92 0.92 0.00 0.50

time (sec)

N/A 0.136 0.003 0.137 0.215 0.263 0.457 0.000 5.608

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 21 22 20 19 0 51 0 0

N.S.

1 0.75 0.79 0.71 0.68 0.00 1.82 0.00 0.00

time (sec)

N/A 0.138 0.005 0.030 0.199 0.000 6.049 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 35 22 20 19 0 56 0 0

N.S.

1 1.25 0.79 0.71 0.68 0.00 2.00 0.00 0.00

time (sec)

N/A 0.146 0.005 0.029 0.193 0.000 14.319 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 33 22 18 17 0 48 0 0

N.S.

1 1.18 0.79 0.64 0.61 0.00 1.71 0.00 0.00

time (sec)

N/A 0.141 0.006 0.029 0.185 0.000 1.629 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 26 25 25 24 0 66 0 0

N.S.

1 0.81 0.78 0.78 0.75 0.00 2.06 0.00 0.00

time (sec)

N/A 0.146 0.007 0.053 0.197 0.000 2.098 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 31 26 26 27 0 70 0 34

N.S.

1 0.86 0.72 0.72 0.75 0.00 1.94 0.00 0.94

time (sec)

N/A 0.152 0.004 0.055 0.196 0.000 2.123 0.000 5.546

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 26 25 25 24 0 53 0 26

N.S.

1 0.93 0.89 0.89 0.86 0.00 1.89 0.00 0.93

time (sec)

N/A 0.148 0.004 0.043 0.202 0.000 13.627 0.000 5.629

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 25 23 22 0 48 0 22

N.S.

1 1.00 1.04 0.96 0.92 0.00 2.00 0.00 0.92

time (sec)

N/A 0.146 0.003 0.040 0.198 0.000 0.915 0.000 5.665

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 25 24 24 0 61 0 30

N.S.

1 1.00 0.96 0.92 0.92 0.00 2.35 0.00 1.15

time (sec)

N/A 0.144 0.004 0.043 0.200 0.000 0.815 0.000 5.656

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 26 25 25 24 0 66 0 0

N.S.

1 0.81 0.78 0.78 0.75 0.00 2.06 0.00 0.00

time (sec)

N/A 0.147 0.004 0.038 0.208 0.000 2.087 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 26 26 27 0 56 0 34

N.S.

1 1.00 0.84 0.84 0.87 0.00 1.81 0.00 1.10

time (sec)

N/A 0.151 0.007 0.100 0.211 0.000 138.725 0.000 5.568

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 31 26 26 27 0 56 0 30

N.S.

1 0.97 0.81 0.81 0.84 0.00 1.75 0.00 0.94

time (sec)

N/A 0.149 0.004 0.083 0.202 0.000 13.690 0.000 5.516

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 26 24 25 0 51 0 23

N.S.

1 1.00 0.90 0.83 0.86 0.00 1.76 0.00 0.79

time (sec)

N/A 0.147 0.004 0.048 0.204 0.000 0.931 0.000 5.855

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 31 26 26 27 0 65 0 34

N.S.

1 1.15 0.96 0.96 1.00 0.00 2.41 0.00 1.26

time (sec)

N/A 0.147 0.004 0.049 0.208 0.000 0.837 0.000 5.752

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 31 26 26 27 0 70 0 34

N.S.

1 0.86 0.72 0.72 0.75 0.00 1.94 0.00 0.94

time (sec)

N/A 0.147 0.004 0.053 0.206 0.000 2.132 0.000 5.493

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 31 26 26 27 0 70 0 34

N.S.

1 0.86 0.72 0.72 0.75 0.00 1.94 0.00 0.94

time (sec)

N/A 0.150 0.007 0.049 0.207 0.000 15.650 0.000 5.462

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 19 19 23 0 110 22 0 0

N.S.

1 0.95 0.95 1.15 0.00 5.50 1.10 0.00 0.00

time (sec)

N/A 0.138 0.003 0.054 0.000 2.619 6.342 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 22 0 27 20 0 0

N.S.

1 1.00 1.00 1.16 0.00 1.42 1.05 0.00 0.00

time (sec)

N/A 0.138 0.003 0.047 0.000 0.247 0.605 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 20 0 30 19 20 0

N.S.

1 1.00 1.00 1.05 0.00 1.58 1.00 1.05 0.00

time (sec)

N/A 0.131 0.002 0.045 0.000 0.246 0.415 0.289 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 19 19 23 0 20 20 0 0

N.S.

1 0.86 0.86 1.05 0.00 0.91 0.91 0.00 0.00

time (sec)

N/A 0.133 0.002 0.048 0.000 0.259 1.030 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 21 25 24 42 24 21

N.S.

1 1.00 1.00 1.00 1.19 1.14 2.00 1.14 1.00

time (sec)

N/A 0.140 0.003 0.096 0.212 0.297 0.959 0.303 5.648

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 22 23 28 29 46 29 22

N.S.

1 1.00 0.85 0.88 1.08 1.12 1.77 1.12 0.85

time (sec)

N/A 0.146 0.003 0.098 0.219 0.268 0.981 0.292 5.546

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 19 19 22 32 22 18

N.S.

1 1.00 1.00 1.06 1.06 1.22 1.78 1.22 1.00

time (sec)

N/A 0.138 0.002 0.058 0.201 0.367 0.653 0.273 5.496

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 19 19 22 32 22 18

N.S.

1 1.00 1.00 1.06 1.06 1.22 1.78 1.22 1.00

time (sec)

N/A 0.140 0.002 0.047 0.196 0.281 0.568 0.269 5.744

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 17 17 20 29 20 16

N.S.

1 1.00 1.00 1.06 1.06 1.25 1.81 1.25 1.00

time (sec)

N/A 0.139 0.001 0.049 0.192 0.242 0.401 0.275 5.753

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 15 15 18 20 14 0

N.S.

1 1.00 1.00 1.07 1.07 1.29 1.43 1.00 0.00

time (sec)

N/A 0.148 0.001 0.042 0.209 0.259 0.116 0.279 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 18 19 19 22 27 0 0

N.S.

1 1.00 0.90 0.95 0.95 1.10 1.35 0.00 0.00

time (sec)

N/A 0.141 0.002 0.046 0.192 0.256 0.493 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 18 19 19 22 34 0 0

N.S.

1 1.00 0.90 0.95 0.95 1.10 1.70 0.00 0.00

time (sec)

N/A 0.142 0.002 0.060 0.194 0.277 0.641 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 20 27 14 27 14 20

N.S.

1 1.00 1.00 1.00 1.35 0.70 1.35 0.70 1.00

time (sec)

N/A 0.146 0.003 0.084 0.208 0.247 0.740 0.293 5.850

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 22 30 21 29 21 21

N.S.

1 1.00 1.00 1.05 1.43 1.00 1.38 1.00 1.00

time (sec)

N/A 0.144 0.002 0.082 0.220 0.275 0.756 0.287 5.678

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 17 21 12 12 12 16

N.S.

1 1.00 1.00 0.94 1.17 0.67 0.67 0.67 0.89

time (sec)

N/A 0.138 0.001 0.046 0.202 0.277 0.378 0.283 5.789

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 16 20 9 10 9 15

N.S.

1 1.00 1.00 1.07 1.33 0.60 0.67 0.60 1.00

time (sec)

N/A 0.137 0.011 0.038 0.206 0.268 0.347 0.274 5.729

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 29 0 10 12 10 0

N.S.

1 1.00 1.00 1.93 0.00 0.67 0.80 0.67 0.00

time (sec)

N/A 0.134 0.001 0.050 0.000 0.255 0.264 0.276 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 18 12 10 13 13

N.S.

1 1.00 1.00 1.08 1.38 0.92 0.77 1.00 1.00

time (sec)

N/A 0.144 0.001 0.051 0.208 0.254 0.306 0.277 5.599

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 17 0 12 14 0 0

N.S.

1 1.00 1.00 0.94 0.00 0.67 0.78 0.00 0.00

time (sec)

N/A 0.136 0.001 0.060 0.000 0.356 0.343 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

22 22 22 0 0 14 65 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.64 2.95 0.00 0.00

time (sec)

N/A 0.137 0.005 0.000 0.000 0.252 1.382 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

16 16 16 0 0 6 19 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.38 1.19 0.00 0.00

time (sec)

N/A 0.134 0.003 0.000 0.000 0.241 0.567 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 26 33 31 48 31 26

N.S.

1 1.00 1.00 1.00 1.27 1.19 1.85 1.19 1.00

time (sec)

N/A 0.161 0.006 0.372 0.286 0.259 0.996 0.315 5.767

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 24 27 29 41 29 23

N.S.

1 1.00 1.00 1.04 1.17 1.26 1.78 1.26 1.00

time (sec)

N/A 0.160 0.003 0.156 0.288 0.262 0.933 0.285 5.668

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 24 27 29 41 29 23

N.S.

1 1.00 1.00 1.04 1.17 1.26 1.78 1.26 1.00

time (sec)

N/A 0.163 0.003 0.098 0.286 0.242 0.632 0.306 5.772

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 22 25 27 37 27 21

N.S.

1 1.00 1.00 1.05 1.19 1.29 1.76 1.29 1.00

time (sec)

N/A 0.154 0.002 0.075 0.278 0.259 0.444 0.277 5.911

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 22 25 27 36 21 0

N.S.

1 1.00 1.00 1.05 1.19 1.29 1.71 1.00 0.00

time (sec)

N/A 0.164 0.003 0.080 0.292 0.245 0.170 0.293 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 23 24 27 29 36 0 0

N.S.

1 1.00 0.92 0.96 1.08 1.16 1.44 0.00 0.00

time (sec)

N/A 0.162 0.004 0.101 0.295 0.272 0.617 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 23 24 27 29 39 0 0

N.S.

1 1.00 0.92 0.96 1.08 1.16 1.56 0.00 0.00

time (sec)

N/A 0.163 0.003 0.157 0.305 0.271 0.913 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 25 38 21 17 21 24

N.S.

1 1.00 1.00 1.00 1.52 0.84 0.68 0.84 0.96

time (sec)

N/A 0.164 0.006 0.184 0.313 0.251 1.055 0.317 5.681

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 24 37 18 15 18 23

N.S.

1 1.00 1.00 1.09 1.68 0.82 0.68 0.82 1.05

time (sec)

N/A 0.158 0.017 0.075 0.312 0.251 0.909 0.316 5.381

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

22 22 22 0 0 19 17 19 0

N.S.

1 1.00 1.00 0.00 0.00 0.86 0.77 0.86 0.00

time (sec)

N/A 0.149 0.001 0.000 0.000 0.252 0.350 0.285 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 22 35 21 15 21 21

N.S.

1 1.00 1.00 1.10 1.75 1.05 0.75 1.05 1.05

time (sec)

N/A 0.159 0.002 0.101 0.324 0.249 0.863 0.292 5.344

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 25 0 21 19 0 0

N.S.

1 1.00 1.00 1.00 0.00 0.84 0.76 0.00 0.00

time (sec)

N/A 0.157 0.003 0.149 0.000 0.326 0.934 0.000 0.000

[next] [prev] [prev-tail] [front] [up]